limitations of finite automata